(module identity-relation mzscheme
  (provide identity-relation^)

  (require (lib "unitsig.ss" "mzlib"))
  
  (define-signature identity-relation^ (elm=)))
